home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Source Code / C / Applications / Moscow ML 1.31 / source code / mosml / src / compiler / Miscsys.sml < prev    next >
Encoding:
Text File  |  1996-07-03  |  681 b   |  18 lines  |  [TEXT/R*ch]
  1. (* Miscsys -- not part of the new unified basis, 12-27-94 *)
  2.  
  3. (* This module provides a simple interface to the operating system. *)
  4.  
  5. prim_val command_line : string Vector.vector = 0 "command_line";
  6. prim_val interactive: bool = 0 "interactive";
  7. prim_val exit : int -> 'a = 1 "sys_exit";
  8. prim_val getenv : string -> string = 1 "sys_getenv";
  9. prim_val system : string -> int = 1 "sml_system";
  10.  
  11. prim_val catch_interrupt : bool -> unit = 1 "sys_catch_break"
  12.  
  13. prim_val rename_ : string -> string -> unit = 2 "sys_rename";
  14. prim_val remove  : string -> unit           = 1 "sys_remove";
  15. prim_val chdir   : string -> unit           = 1 "sys_chdir";
  16.  
  17. fun rename {old, new} = rename_ old new;
  18.